eqs-dump -m $1 -o $1.eqs
pt-dump -m $1 -o $1.tbl
asfc -i $1.eqs -n $1 -c
